COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	dirty[f82,jmc]		Locally dirty lisp
C00003 ENDMK
C⊗;
dirty[f82,jmc]		Locally dirty lisp

From 1982 April 19 notebook

u * v ← if n u then v else {a u . v}[λw.app1[w . w, d u]

app1[ans, w, u] ← if n u then ans else app1[ans, d rplacd[w, a u . d w], d u]

(defun append1 (u v) (if (null u)
			 v
			 ((lambda (w) (app1 w w (cdr u)))
			  (cons (car u) v))))

(defun app1 (ans w u)
       (if (null u)
	   ans
	   (app1 ans (cdr (rplacd w (cons (car u) (cdr w)))) (cdr u))))